Review by: Rózsa Péter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

General Recursive Functions of Natural Numbersby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 190 KB

1937

2

On Notation for Ordinal Numbersby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1939

File:

PDF, 370 KB

1939

3

λ-Definability and Recursivenessby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 345 KB

1937

4

A Note on the Reduction of Gentzen's Calculus LJby H. B. Curry

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1939

File:

PDF, 210 KB

1939

5

Braucht der Algebraiker das Auswahlaxiom?by Oswald Teichmüller

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 301 KB

english, 1941

6

Nicht Konstruktiv Beweisbare Sätze der Analysis.by Ernst Specker

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1950

File:

PDF, 280 KB

1950

7

Logic-free Formalisations of Recursive Arithmeticby R. L. Goodstein

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 308 KB

english, 1959

8

Fonctions Récursives.by Andrzej Grzegorczyk

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1966

File:

PDF, 445 KB

1966

9

O Primitivno Rékursivnyh Funkciah Bol'šogo Razmaha (Über Umfangsreiche Primitiv-Rekursive Funktionen).by A. V. Kuznécov

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 297 KB

1952

10

Some Classes of Recursive Functionsby Andrzej Grzegorczyk

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 344 KB

english, 1955

11

Including an Update to A Bibliography of Symbolic Logic || Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung.by Gerhard Gentzen

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 356 KB

1938

12

Note on the 3-Recursive Functionsby Paul Axt

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 282 KB

english, 1964

13

Completeness of the Propositional Calculusby W. V. Quine

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 320 KB

1938

14

Die Widerspruchsfreiheit der Allgemeinen Mengenlehreby Wilhelm Ackerman

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 221 KB

1937

15

Die Definition Durch Vollständige Induktion.by P. Lorenzen

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 301 KB

english, 1940

16

Nem Elemi Rekurziv Függvény Létezése (Existenze einer Nichtelementaren Rekursiven Funktion).by Ilona Bereczki

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 111 KB

english, 1954

17

Eine Bemerkung über die Induktionsschemata in der Rekursiven Zahlentheorie.by Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

File:

PDF, 235 KB

1940

18

A Lemma Concerning Recursive Functions and Its Applicationsby A. Mostowski

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 109 KB

1954

19

On Derivabilityby W. V. Quine

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 203 KB

1938

20

Classes of Recursively Enumerable Sets and their Decision Problemsby H. G. Rice

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 108 KB

1954

21

Classifications of Recursive Functions by Means of Hierarchiesby Solomon Feferman

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1965

File:

PDF, 360 KB

1965

22

On the Reducibility of Decision Problemsby A. Janiczak

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 321 KB

english, 1956

23

Primitive Recursive Functionsby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 302 KB

english, 1948

24

Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.by Gerhard Gentzen

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1939

Language:

german

File:

PDF, 381 KB

german, 1939

25

Completeness in the Theory of Typesby Leon Henkin

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 314 KB

english, 1951

26

Recursion and Double Recursionby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1949

File:

PDF, 332 KB

1949

27

Primitive Recursive Functions. IIby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 118 KB

english, 1957

28

Enumeration and the Grzegorczyk Hierarchyby Paul Axt

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 332 KB

english, 1965

29

A Note on Primitive Recursive Functionsby Julia Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1957

File:

PDF, 85 KB

1957

30

A Reduction of the Recursion Schemeby M. D. Gladstone

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 227 KB

english, 1970

31

A Version of the Proof of Equivalence Between Complete Induction and the Uniqueness of Primitive Recursionby Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 215 KB

english, 1959

32

Einfacher Beweis der Unmöglichkeit eines Allgemeinen Lōsungsverfahrens für Arithmetische Probleme.by Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 207 KB

1944

33

On a Subrecursive Hierarchy and Primitive Recursive Degreesby Paul Axt

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 110 KB

1960

34

Von den Verteilungen auf Booleschen Ringenby Bedřich Pospíšil

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 314 KB

1944

35

Über Eine Art von Unvollständigkeit des Prädikatenkalküls der Ersten Stufe.by Gisbert Hasenjaeger

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 199 KB

1951

36

Computability and λ-Definabilityby A. M. Turing

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 260 KB

1938

37

A Logikai Függvénykalkulus Eldöntés-Problémájának Redukciójáról (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls).by János Surányi

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 411 KB

1944

38

A Remark Concerning Decidability of Complete Theoriesby Antoni Janiczak

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 302 KB

1951

39

Egyszerü Példa Eldönthetetlen Aritmetikai Problémara (Ein Einfaches Beispiel für ein Unentscheidbares Arithmetisches Problem).by László Kalmár

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 202 KB

1944

40

A Symmetric Form of Godel's Theoremby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 195 KB

1951

41

Some Remarks on Partially Recursive Functionsby A. Janiczak

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 216 KB

english, 1956

42

A Hilbert-féle Bizonyitáselmelét Célkitüzései, Módszerei és Eredményei (Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie).by László Kalmár

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 321 KB

english, 1941

43

Decision Problem in Group Theoryby W. Smielew

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1949

Language:

english

File:

PDF, 427 KB

english, 1949

44

Undecidable-Ringsby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 318 KB

1952

45

Logikai Alapelv és Mathematikai Axióma.by Ákos Pauler

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 211 KB

english, 1940

46

Eine Bemerkung Über Quasirekursive Funktionen.by Kurt Schütte

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1953

Language:

english

File:

PDF, 341 KB

english, 1953

47

Zur Widerspruchsfreiheit der Zahlentheorieby Wilhelm Ackermann

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 447 KB

english, 1940

48

Arithmetical Definitions in the Ring of Integersby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 308 KB

1952

49

Nested Recursionby W. W. Tait

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 313 KB

english, 1963

50

Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Setby László Kalmár

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 289 KB

1955

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски